xen s3, No need to check idle vcpu before update_vcpu_system_time().
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 19 Nov 2008 12:52:03 +0000 (12:52 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 19 Nov 2008 12:52:03 +0000 (12:52 +0000)
commit71e53fef6c3891772ab5839f9904631fb0f55ff0
treed68aaa318b615d3b4ae74b644cb401ec4471f02e
parentf8b45adac4aae896f3c70665aa0667c726e94ab3
xen s3, No need to check idle vcpu before update_vcpu_system_time().

Signed-off-by: Kevin Tian <kevin.tian@intel.com>
xen/arch/x86/time.c